    .section .entry

// Turn OFF SD Card power
// to support autostart
	LDR     R3, =0xC0220018
	MOV     R2, #0x44
	STR     R2, [R3]

// looks like idle cycle is required for proper shutdown
	MOV     R3, #0xF0000
1:
	SUB	R3, R3, #1
	CMP	R3, #0
	BNE	1b
	
	MOV     SP, #0x1900
	MOV     R11, #0
	B	my_restart
